科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用于提取最小最小不可满足公式的分支定界算法
Maher Mneimneh; Inês Lynce; Zaher Andraus; João Marques-silva; Karem Sakallah;
机译:分支定界算法,用于提取最小的最小不满足子公式
机译:关于确定命题公式不满足的好的算法
机译:在过度约束的CSP中寻找最小不满足子集的直接算法
机译:提取最小最小不满足公式的分支定界算法
机译:金银花配方及其提取物作为特应性皮炎的一种潜在干预手段,用于临床病例,动物模型和炎症分子靶标
机译:利用分枝定界算法利用光谱斜率特征监测小麦和大麦叶片碳氮比(C / N)
机译:一种提取最小最小不满足公式的分枝定界算法
机译:使用分支定界算法的分布式数据并行执行引擎,用于用户定义的串行问题
机译:其中R = CH 3的式(I)的第一分子在组合物的制备中的用途,其中R = H的式(I)的第二分子在组合物的制备中的用途,式(I)的分子的用途),其中R = CH3在浓缩安纳托提取物的制备中以及式(I)分子的用途,其中R = H在浓缩安纳托提取物的制备中
机译:1.羊线虫的组成和配方,包括尤加利桉树的氢乙醇提取物和大花pedus的乙醇提取物;羊线虫组合物的制备方法;使用绵羊线虫的组成和配方。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。